
WITH Ada.Text_IO;
WITH Ada.Exceptions;

PACKAGE Unit_Test_Assertions IS

   -- Initialise une phase de test
   PROCEDURE Init;

   -- Retourne le nombre d'erreur lors de la phase de test
   FUNCTION Get_Error_Count RETURN Integer;

   -- Retourne le nombre de tests lors de cette phase
   FUNCTION Get_Tests_Count RETURN Integer;

   -- Test si deux entier sont egaux
   PROCEDURE Assert_Integer (Tested_Value : Integer; Result : Integer;Message : String := "test");

   -- Test si deux booleens sont egaux
   PROCEDURE Assert_Boolean (Tested_Value : Boolean; Result:Boolean;Message : String := "test");

PRIVATE

   -- Nombre d'erreur lors de la phase
   nbError: Integer;

   -- Nombre de test lors de la phase
   nbTests : Integer;

END Unit_Test_Assertions;
